Nuprl Definition : R-state-var-init
11,40
postcript
pdf
R-state-var-init(
i
;
ds
;
da
;
x
;
T
;
v
;
ks
;
tr
)
== Rplus(R-state-var(
i
;
ds
;
da
;
x
;
T
;
ks
;
tr
); Rinit(
i
;
T
;
x
; (inl
v
)))
latex
Definitions
R-state-var(
i
;
ds
;
da
;
x
;
T
;
ks
;
tr
)
,
inl
x
FDL editor aliases
R-state-var-init
origin